Morphisms of Algebraic Spaces

Derived Algebraic Geometry XII: Proper Morphisms, Completions, and the Grothendieck Existence Theorem

1 Generalities on Spectral Algebraic Spaces 5 1.1 Scallop Decompositions in the Separated Case . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 Quasi-Finite Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.3 Quasi-Separatedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.4 Points of Spectral Algebr...

MORPHISMS OF ALGEBRAIC SPACES Contents

MORPHISMS OF ALGEBRAIC SPACES Contents

An Algebraic Approach to Canonical Formulas: intuitionistic Case

We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (∧,→) homomorphisms, (∧,→, 0) homomorphisms, and (∧,→,∨) homomorphisms between Heyting algebras, thus establishing a generalization of Esakia duality. This yields an algebraic characterization of Zakharyaschev’s subred...

Pushouts of Algebraic Spaces

0AHU The goal of this chapter is to discuss pushouts in the category of algebraic spaces. This can be done with varying assumptions. A fairly general pushout construction is given in [TT13]: one of the morphisms is affine and the other is a closed immersion. We discuss a particular case of this in Section 2 where we assume one of the morphisms is affine and the other is a thickening, a situatio...